Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
351	Factorised Representations of Query Results: Size Bounds and Readability Dan Olteanu and Jakub Závodný Department of Computer Science University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-16 04:17:03 Computing Mathematics Programming paradigms Conjunctive query Relational algebra Relational database Relation Tuple Bin Relational model Data management Database theory
352	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
353	(An Introduction To) Functional Programming Sean Corfield Railo Technologies, Inc. cf.Objective(), May 12-14, 2011 Minneapolis, MN Add to Reading List Source URL: corfield.org Language: English - Date: 2011-05-14 11:58:01 Functional languages Higher-order functions Functional programming Programming paradigms Lisp programming language Railo Lisp Clojure ColdFusion Markup Language Software engineering Computing Computer programming
354	Implementing Semantic Feedback in a Diagram Editor NIKLAS FORS AND GÖREL HEDIN, GMLD 2013, MONTPELLIER Semantic Feedback Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-08-06 08:16:24 Programming language implementation Computing Programming paradigms Parsing Attribute grammar Parser generators Abstract syntax tree SYNTAX Extensible programming Formal languages Compiler construction Software engineering
355	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
356	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
357	exp-realdata-sky-runtime.eps Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2010-10-09 13:46:45 Programming paradigms Database management systems Object-oriented programming Attribute Computer data Core Data Object Variable and attribute Rough set Software engineering Computing Computer programming
358	A Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study KARIM BARKATI and PIERRE JOUVELOT, CRI, Mathématiques et systèmes, MINES ParisTech, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-31 05:29:15 Software Software synthesizers Programming paradigms Electronic music Visual programming languages Synchronous programming language Domain-specific language SuperCollider Programming language Computing Software engineering Audio programming languages
359	RESEARCH STATEMENT JEAN YANG The goal of my research is to help programmers build more reliable software with less effort. Towards this goal, I developed a programming model that allows selective automation of specific c Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-30 11:20:32 Ethics Software engineering Notation Programming language Information flow Information privacy Actor model Functional programming Control flow Computing Privacy Programming paradigms
360	A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism? Amadeo Casas1 Manuel Carro2 Manuel V. Hermenegildo1,2 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-09-15 22:48:05 Programming paradigms Prolog Compiler optimizations Logic programming Parallel computing Warren Abstract Machine Stack Call stack Automatic parallelization Software engineering Computing Computer programming

UPDATE